41. Hardware design verification

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Integrated circuits- Verification

رده :
TK7874
.
58
.
L36
2005

42. Hardware design verification: simulation and formal method-based approaches

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : Verification ، Integrated circuits

رده :
TK
7874
.
58
.
L36

43. Hardware design verification: simulation and formal method-based approaches

پدیدآورنده :

موضوع : ، Integrated circuits-- Verification

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

44. Hardware design verification : simulation and formal method-based approaches

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Integrated circuits -- Verification

رده :
TK
7874
.
58
.
L248H2

45. Hardware specification, verification, and synthesis: Mathematical aspects: proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,Congresses ، Integrated circuits-- Verification

رده :
TK
7874
.
C685
1989

46. Hardware verification with C++ :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : C++ (Computer program language),Integrated circuits-- Verification.

47. Hardware verification with SystemVerilog

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : oriented programming (Computer science) ; -Verilog (Computer hardware description language) ; Integrated circuits ; Verification. ; Object

48. Integrated Circuit Authentication

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Integrated circuits -- Verification.,Hardware Trojans (Computers),مدار‌های مجتمع -- راستی‌آزمایی

رده :
E-Book
,

49. Integrated circuit authentication

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Integrated circuits, Verification,Hardware Trojans (Computers),Engineering,Circuits and Systems,Processor Architectures,Electronic Circuits and Devices

رده :
E-BOOK

50. Integrated circuit authentication :hardware trojans and counterfeit detection

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : Verification ، Integrated circuits,، Hardware Trojans )Computers(,، Engineering,، Circuits and Systems,، Processor Architectures,، Electronic Circuits and Devices

رده :
TK7874
.
58

51. Integrated circuit test engineering: modern techniques

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : Verification ، Integrated circuits

رده :
TK
7874
.
58
.
G76

52. Introduction to formal hardware verification

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Integrated circuits - Very large scale integration - Computer-aided design , Integrated circuits - Verification

رده :
TK
7874
.
75
.
K76
1999

53. Logic synthesis and verification algorithms

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Logic design-- Data processing,، Integrated circuits-- Verification,، Computer-aided design

رده :
TK
7874
.
75
.
H33
1996

54. Metric-driven design verification :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Integrated circuits-- Verification.,Ingénierie.,Integrated circuits-- Verification.,Integrated circuits-- Verification.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.

رده :
TK7874
.
58
.
C37
2007eb

55. Metric-driven design verification

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)

موضوع : Integrated circuits, Verification

رده :
TK7874
.
58
.
C37
2007

56. Models in hardware testing

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Electronic digital computers ; Circuits ; Testing. ; Integrated circuits ; Verification. ; Integrated circuits ; Computer simulation. ;

57. Practical design verification

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Integrated circuits -- Verification

رده :
TK
7874
.
58
.
P72

58. Practical design verification /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Integrated circuits-- Verification.,Integrated circuits-- Verification.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.

رده :
TK7874
.
58
.
P73
2009eb

59. Principles of functional verification /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Integrated circuits-- Verification.,Integrated circuits-- Verification.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.

رده :
TK7885
.
7
.
M49
2003eb

60. Principles of functional verification

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Integrated circuits ; Verification. ;